Nuprl Definition : parameter 12,41
parm{i} is Primitive 
latex

FDL editor aliasesparameter

origin